/*
 *
 * Intermediate file which has the code to jump to 32 bit C Kernel 
 *
 */

#include "kernel.h"

void _start(void) {

/*
 * main() is a function in kernel.c. It ends with an infinite loop
 */

main();
}

